Showing 1 - 6 of 6 Results
1.
Automated Theorem Proving in Software Engineering by Schumann, Johann M., Lovela... ISBN: 9783642087592 List Price: $109.00
2.
Automated Theorem Proving in Software Engineering by Johann M. Schumann ISBN: 9783540679899 List Price: $119.00
3.
Applications of Neural Networks in High Assurance Systems by Schumann, Johann M. Ph., Li... ISBN: 9783642262692 List Price: $159.00
4.
Applications of Neural Networks in High Assurance Systems (Studies in Computational Intellig... by Schumann, Johann M. Ph., Li... ISBN: 9783642106897 List Price: $129.00
5.
Applications of Neural Networks in High Assurance Systems by Schumann, Johann M. Ph., Li... ISBN: 9783642106910 List Price: $24.99
6.
Automated Theorem Proving in Software Engineering by Schumann, Johann M. ISBN: 9783662226476 List Price: $24.99